Hu’s Primal Algebra Theorem revisited
نویسنده
چکیده
It is shown how Lawvere’s one-to-one translation between Birkhoff’s description of varieties and the categorical one (see [6]) turns Hu’s theorem on varieties generated by a primal algebra (see [4], [5]) into a simple reformulation of the classical representation theorem of finite Boolean algebras as powerset algebras.
منابع مشابه
Generalized Morita Theories The power of categorical algebra
A solution to the problem posed by Isbell in the early 1970s of how to determine all varieties (in the sense of universal algebra) equivalent to a given variety is presented. The method is based on the use of Lawvere theories. It is shown how the known characterizations of rings, Morita equivalent to a given one, and of monoids, Morita equivalent to a given one, and also how (even an extension ...
متن کاملMorita Equivalence of Almost-primal Clones
Two algebraic structures A and B are called categorically equivalent if there is a functor from the variety generated by A to the variety generated by B, carrying A to B, that is an equivalence of the varieties when viewed as categories. We characterize those algebras categorically equivalent to A when A is an algebra whose set of term operations is as large as possible subject to constraints p...
متن کاملAutomorphism-primal algebras generate verbose varieties
A finite algebra is called automorphism-primal if its clone of term operations coincides with all operations that preserve its automorphisms. We prove that the variety generated by an automorphism-primal algebra is verbose, that is, on every member algebra, every fully invariant congruence is verbal. In [2] we discussed the notions of verbal and fully invariant congruences and examined the rela...
متن کاملPrimal strong co-ideals in semirings
In this paper, we introduce the notion of primal strong co-ideals and give some results involving them. It is shown thatsubtractive strong co-ideals are intersection of all primal strong co-ideals that contain them. Also we prove that the representation of strong co-ideals as reduced intersections of primal strong co-ideals is unique.
متن کاملThe super-replication theorem under proportional transaction costs revisited
We consider a financial market with one riskless and one risky asset. The super-replication theorem states that there is no duality gap in the problem of super-replicating a contingent claim under transaction costs and the associated dual problem. We give two versions of this theorem. The first theorem relates a numéraire-based admissibility condition in the primal problem to the notion of a lo...
متن کامل